#ifndef __ARC_KERNELINIT_H__
#define __ARC_KERNELINIT_H__
VOID  IntelInterruptHandler(U1B vector,U4B errorcode,U4B eip,U2B cs,U4B eflags);
#endif
